Objective ML: An effective object-oriented extension to ML
نویسندگان
چکیده
منابع مشابه
Objective ML: An Effective Object-Oriented Extension to ML
Objective ML is a small practical extension to ML with objects and top level classes. It is fully compatible with ML; its type system is based on ML polymorphism, record types with polymorphic access, and a better treatment of type abbreviations. Objective ML allows for most features of object-oriented languages including multiple inheritance, methods returning self and binary methods as well a...
متن کاملObject-Oriented Programming and Standard ML
This paper explores connections between object-oriented programming and Standard ML. In particular we show that F-bounded polymorphism can be expressed using ML's polymorphism and a programming technique we call wrapping. The encoding of F-bounded polymorphism can be used to encode classes as ML modules.
متن کاملProgramming Objects with ML-ART, an Extension to ML with Abstract and Record Types
Class-based objects can be programmed directly and ee-ciently in a simple extension to ML. The representation of objects, based on abstract and record types, allows all usual operations such as multiple inheritance, object returning capability, and message transmission to themselves as well as to their super classes. There is, however, no implicit coercion from objects to corresponding ones of ...
متن کاملAn Extension of ML for Distributed Memory Multicomputers
This paper describes the design of paraML, an extension of ML with primitives for par-allelism that is suitable for use on a distributed memory multicomputer architecture such as the Fujitsu AP1000. Consideration of the lessons learned from previous parallel functional languages provided a focus for determining the requirements of parallel extensions of ML. These requirements are detailed, and ...
متن کاملI ML: An Infrastructure Resilience-Oriented Modeling Language
Critical infrastructure (CI) modeling and analysis is a very challenging research topic. One of the most pressing issues is to find an effective representation for addressing the system vulnerabilities caused by interdependencies, which, if exploited, could result in nontrivial accident scenarios. Until now, this question has been tackled for different sector-specific infrastructures (electrici...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Object Systems
سال: 1998
ISSN: 1074-3227,1096-9942
DOI: 10.1002/(sici)1096-9942(1998)4:1<27::aid-tapo3>3.0.co;2-4